Equi-Subject Clause Union

Clause Union and Clausal Position

ing away from the somewhat unclear status of (18c), these clauses are in complementary distribution as summarized in Table 3. Table 3: Distribution of jeand bole-clauses in pre-verbal position in post-verbal position [ ... V bole] */??/marked

Clause Union { Then and Now

Syntactic Causatives in Korean : Clause Union or Not?

Clause Union Laws require causee nominals to assume the relation of direct object or indirect object depending on the transitivity of corresponding non-causative constructions (Perlmutter & Postal 1974) or in accordance with the language specific rules (Gibson & Raposo 1986) in forming causative constructions. However, the causee nominals in Korean syntactic causatives are nominatively, accusat...

Word Order, Clause Union, and the Formal Machinery of Syntax

Subject Reduction vs Intersection / Union Types in λ μ μ̃ ∗

This paper discusses intersection and union type assignment for the calculus λµ˜µ [9] as first presented in [11], a proof-term syntax for Gentzen's classical sequent calculus. We show that, after a small correction, this notion is closed for subject expansion, and show that it needs to be restricted to satisfy subject-reduction as well, even when limiting reduction to (confluent) call-by-name o...